1. Artificial intelligence and symbolic computation: 8th international conference, AISC 2006, Beijing, China, September 20-22, 2006: proceedings
پدیدآورنده : Jacques Calmet, Tetsuo Ida, Dongming Wang )eds.(
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
Q
334
.
A766
2006
2. Artificial intelligence and symbolic computation : 8th international conference, AISC 2006 Beijing, China, September 20-22, 2006 : proceedings
پدیدآورنده : Jacques Calmet, Tetsuo Ida, Dongming Wang )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
4120
